Turing machine
noun
°An abstract computing machine introduced in 1936 by Alan Turing to give a mathematically precise definition of computability.